#!/bin/bash

if (( $EUID != 0 )); then
  echo "Eseguire lo script come amministratore"
  exit
fi

# scarico chiave GPG e la installo
wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | gpg --dearmor | sudo dd of=/etc/apt/trusted.gpg.d/vscodium.gpg

# aggiungo il repository
echo 'deb https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs/ vscodium main' | sudo tee --append /etc/apt/sources.list.d/vscodium.list

# aggiorno apt
apt-get update

# installo vscodium
apt-get install --yes codium
